Order:
  1.  21
    End Extensions Which are Models of a Given Theory.A. M. Dawes - 1976 - Mathematical Logic Quarterly 23 (27‐30):463-467.
  2.  27
    End Extensions Which are Models of a Given Theory.A. M. Dawes - 1977 - Mathematical Logic Quarterly 23 (27-30):463-467.
  3.  35
    Independent gödel sentences and independent sets.A. M. Dawes & J. B. Florence - 1975 - Journal of Symbolic Logic 40 (2):159-166.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  4.  21
    Splitting theorems for speed-up related to order of enumeration.A. M. Dawes - 1982 - Journal of Symbolic Logic 47 (1):1-7.
    It is known from work of P. Young that there are recursively enumerable sets which have optimal orders for enumeration, and also that there are sets which fail to have such orders in a strong sense. It is shown that both these properties are widespread in the class of recursively enumerable sets. In fact, any infinite recursively enumerable set can be split into two sets each of which has the property under consideration. A corollary to this result is that there (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation